Browsing by Subject "Asynchronous communication"
Now showing items 1-1 of 1
-
Conference Object
Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP
(2007)Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...